<div>
  URL from which to download the tool in binary form. Should be either a ZIP or
  a GZip-compressed TAR file. The timestamp on the server will be compared to
  the local version (if any) so you can publish updates easily. The URL must be
  accessible from the Jenkins controller but need not be accessible from agents.
</div>
